Định nghĩa tôpô bằng lân cận Lân_cận_(toán_học)

Định nghĩa trên hữu dụng khi khái niệm tập mở đã được định nghĩa. Có một cách khác để định nghĩa một tôpô, bằng cách định nghĩa hệ lân cận, sau đó tập mở là những tập chứa một lân cận của mọi điểm thuộc nó.

Một hệ lân cận trên X là việc gán filter N(x) (trên tập X) với mỗi x thuộc X, sao cho

  1. x là một phần tử của mọi U thuộc N(x)
  2. mọi U thuộc N(x) chứa một V thuộc N(x) sao cho với mọi y thuộc V, U thuộc N(y).

Có thể chứng minh rằng hai định nghĩa cả hai định nghĩa đều tương thích, nghĩa là tôpô nhận được từ hệ lân cận định nghĩa bằng tập mở, và ngược lại định nghĩa hệ lân cận như trên trước đều cho kết quả như nhau.